A necessary and sufficient condition on monotonicity of upper(lower) semi-continuous function satisfied with upper(lower) derived function

• 具有上(下)导数的上(下)半连续函数单调性的一个充要条件